- induction scheme
- лог. схема индукции
English-Russian dictionary of computer science and programming. 2013.
induction scheme
Смотреть что такое "induction scheme" в других словарях:
Asymmetric induction — (also enantioinduction) in stereochemistry describes the preferential formation in a chemical reaction of one enantiomer or diastereoisomer over the other as a result of the influence of a chiral feature present in the substrate, reagent,… … Wikipedia
Drakensberg Pumped Storage Scheme — Diagram of the dams involved in the Drakensberg Pumped Storage Scheme and Tugela Vaal Water Project Country South Africa Location … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Nqthm — is a theorem prover sometimes referred to as the Boyer–Moore theorem prover. It was a precursor to ACL2.[1] Contents 1 History 2 Definitions 3 Theorem formulation … Wikipedia
Inductive reasoning — Induction or inductive reasoning, sometimes called inductive logic, is the process of reasoning in which the premises of an argument are believed to support the conclusion but do not entail it; i.e. they do not ensure its truth. Induction is a… … Wikipedia
Scientific method — … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Metal detector — A U.S. Army soldier uses a metal detector to search for weapons and ammunition in Iraq A metal detector is a device which responds to metal that may not be readily apparent. The simplest form of a metal detector consists of an oscillator… … Wikipedia
Peirce, Charles Sanders — American pragmatism Peirce Cheryl Misak INTRODUCTION Charles Sanders Peirce (1839–1914), one of America’s greatest philosophers, mathematicians, and logicians, was a difficult and not altogether pleasant character. That, combined with what the… … History of philosophy
Statistical inference — In statistics, statistical inference is the process of drawing conclusions from data that are subject to random variation, for example, observational errors or sampling variation.[1] More substantially, the terms statistical inference,… … Wikipedia
Resolution of singularities — Strong desingularization of Observe that the resolution does not stop after the first blowing up, when the strict transform is smooth, but when it is simple normal crossings with the exceptional divisors. In algebraic geometry, the problem of… … Wikipedia
